IASC: Interactive Agentic System for ConLangs
arxiv.org·15h
🌳Context free grammars
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·5h·
Discuss: DEV
📊Multi-vector RAG
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·11m·
Discuss: Hacker News
🔗Concatenative Programming
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
Neuro-Symbolic AI
en.wikipedia.org·5h·
Discuss: Hacker News
🔲Cellular Automata
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·15h
💻Programming languages
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·15h
📊HyperLogLog
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·17h·
Discuss: Hacker News, r/programming
✅Format Verification
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
AI as both authors and reviewers of research papers
openreview.net·23h·
Discuss: Hacker News
🔲Cellular Automata
LoRA Explained: Faster, More Efficient Fine-Tuning with Docker
docker.com·1d
💻Local LLMs
The Hidden Bias: A Study on Explicit and Implicit Political Stereotypes in Large Language Models
arxiv.org·15h
🤖Grammar Induction
SigmaEval – statistical evaluation for GenAI apps
github.com·2d·
Discuss: Hacker News
🔍Concolic Testing
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🔨Compilers
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·23h·
Discuss: Hacker News
🔗Lisp
Aligning Large Language Models via Fully Self-Synthetic Data
arxiv.org·1d
🔗Monadic Parsing